[$R$ ? ${\it decodes}_{1}$ : ${\it decodes}_{2}$]($i$,$e$,${\it st}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if $p$:$R$($i$,$e$) then ${\it decodes}_{1}$($i$,$e$,${\it st}$) else ${\it decodes}_{2}$($i$,$e$,${\it st}$) fi